|
|
Systémy překladových automatů a jejich aplikace
Žitňanská, Lívia ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je zaviesť jednotný aparát pre lexikálnu a syntaktickú analýzu. Táto jednotka sa nazýva lexikálno-syntaktický prevodník LST a je zložená z konečného prevodníku, zásobníkového prevodníku a komunikačných symbolov. Ich definícia a vlastnosti sú odvodené od komunikačných symbolov zavedených v Paralelne komunikujúcich (PC) gramatických systémoch. Slúžia teda na vzájomnú komunikáciu prevodníkov. Práca sa ďalej zaoberá implementáciou tohto aparátu, popisom implementácie a porovnaním vlastností aparátu s už existujúcimi systémami. Výsledný aparát prekladá nový jazyk AIDA založený na jazyku Python 3 a prvkami z jazyka C na výstupný medzikód.
|
|
| |
|
|
Systémy převodníků: Definice, vlastnosti a aplikace
Řezáč, Michal ; Kövári, Adam (oponent) ; Meduna, Alexandr (vedoucí práce)
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
|
|
|
Systems of Translation Models and Their Applications
Žitňanská, Lívia ; Burgetová, Ivana (oponent) ; Meduna, Alexandr (vedoucí práce)
The goal of this thesis is to propose and formally define a system of transducers, specify its characteristics, and compare it to already existing systems. Thus, the System of pushdown transducers (SPT) was introduced. This system consists of modified pushdown transducers whose components communicate via query symbols introduced in Parallel communicating grammar systems (PCGS) and can work in three different modes. Besides theoretical definitions, this thesis also describes the implementation of the proposed system as a transducer from DNA to RNA and amino acids using the SPT of two elements.
|
|
|
Částečně paralelní hluboké zásobníkové převodníky a jejich aplikace
Putala, Marek ; Dolejška, Daniel (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce bylo seznámit se s hlubokými zásobníkovými automaty a na základě získaných znalostí dále navrhnout, formálně definovat a implementovat částečně paralelní hluboký zásobníkový převodník. Jedná se o rozšíření hlubokých zásobníkových převodníků, které je na zásobníku schopné v jednom kroku přistupovat k non-terminálním symbolům současně. S vhodně zvolenou konfigurací ve formě pravidel mohou zpracovat vstupní řetězec s menším množstvím přechodů, a tím pádem mají oproti hlubokým zásobníkovým převodníkům vyšší rychlost.
|
|
|
Systémy převodníků: Definice, vlastnosti a aplikace
Řezáč, Michal ; Kövári, Adam (oponent) ; Meduna, Alexandr (vedoucí práce)
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
|
|
|
Systémy překladových automatů a jejich aplikace
Žitňanská, Lívia ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je zaviesť jednotný aparát pre lexikálnu a syntaktickú analýzu. Táto jednotka sa nazýva lexikálno-syntaktický prevodník LST a je zložená z konečného prevodníku, zásobníkového prevodníku a komunikačných symbolov. Ich definícia a vlastnosti sú odvodené od komunikačných symbolov zavedených v Paralelne komunikujúcich (PC) gramatických systémoch. Slúžia teda na vzájomnú komunikáciu prevodníkov. Práca sa ďalej zaoberá implementáciou tohto aparátu, popisom implementácie a porovnaním vlastností aparátu s už existujúcimi systémami. Výsledný aparát prekladá nový jazyk AIDA založený na jazyku Python 3 a prvkami z jazyka C na výstupný medzikód.
|
|
| |
host ::
RSS.